Declarative Dependency Specification for Inter-connected Large-scale Cyber-physical Systems
نویسندگان
چکیده
منابع مشابه
Formal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملSpecification of Cyber Physical Systems by Clock
With the rapid development of technology, now a brand new research area–Cyber Physical Systems (CPS) emerges. CPS are integrations of computing, communication and control systems, and it integrates with the physical world closely. Though it has influenced common life a lot, many problems still need to be solved when using the existing theories and technologies. Among the difficulties, the descr...
متن کاملDeclarative Systems for Large-Scale Machine Learning
In this article, we make the case for a declarative foundation for data-intensive machine learning systems. Instead of creating a new system for each specific flavor of machine learning task, or hardcoding new optimizations, we argue for the use of recursive queries to program a variety of machine learning algorithms. By taking this approach, database query optimization techniques can be utiliz...
متن کاملSpecification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
متن کاملMITL Specification Debugging for Monitoring of Cyber-Physical Systems
A framework for the debugging of formal specifications for Cyber-Physical Systems is presented. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive requirements with respect to system test traces. The specification debugging framework is applied ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DEStech Transactions on Computer Science and Engineering
سال: 2017
ISSN: 2475-8841
DOI: 10.12783/dtcse/aice-ncs2016/5616